Logique formelle


Logique formelle

Logique formelle étude générale des raisonnements déductifs, abstraction faite de leur application à des cas particuliers.

Encyclopédie Universelle. 2012.

Regardez d'autres dictionnaires:

  • Logique formelle — Logique Gregor Reisch, « La logique présente ses thèmes centraux », Margarita Philosophica, 1503/08 (?). Les deux chiens veritas et falsitas courent derrière le lièvre problema, la logique se presse armée de son épée syllogismus. En bas …   Wikipédia en Français

  • logique formelle — formalioji logika statusas T sritis automatika atitikmenys: angl. formal logic vok. formale Logik, f rus. формальная логика, f pranc. logique formelle, f …   Automatikos terminų žodynas

  • LOGIQUE MATHÉMATIQUE — La logique au sens étroit du terme, c’est à dire la logique formelle par opposition à l’épistémologie ou à la théorie de la connaissance, se propose de donner une théorie de l’inférence formellement valide. Elle considère comme valide toute… …   Encyclopédie Universelle

  • LOGIQUE (HISTOIRE DE LA) — Ce n’est qu’à une époque relativement récente qu’on a vraiment commencé à s’intéresser à l’histoire de la logique. Jusqu’au milieu du XIXe siècle régnait en effet l’idée que la logique n’avait pas d’histoire, étant, pour l’essentiel, sortie… …   Encyclopédie Universelle

  • Logique générale — Logique Gregor Reisch, « La logique présente ses thèmes centraux », Margarita Philosophica, 1503/08 (?). Les deux chiens veritas et falsitas courent derrière le lièvre problema, la logique se presse armée de son épée syllogismus. En bas …   Wikipédia en Français

  • LOGIQUE INDIENNE — Les questions de raisonnement logique occupent une place aussi importante dans la philosophie indienne, d’un bout à l’autre de son histoire, que dans la tradition occidentale. Ce n’est que dans les années 1930 que la plupart des Occidentaux ont… …   Encyclopédie Universelle

  • Logique Chinoise — La logique chinoise est longtemps restée isolée des développements de la logique en Europe et dans le monde islamique. La fondation de l école du moïsme est attribuée à Mozi. Ses canons ont trait à la dérivation d inférences valides et aux… …   Wikipédia en Français

  • Logique symbolique — ● Logique symbolique synonyme de logique formelle …   Encyclopédie Universelle

  • logique — 1. logique [ lɔʒik ] n. f. • XIIIe; lat. logica, gr. logikê, de logos « raison » I ♦ 1 ♦ Science ayant pour objet l étude, surtout formelle, des normes de la vérité; « analyse formelle de la connaissance » (Piaget). Logique formelle, logique pure …   Encyclopédie Universelle

  • Logique — Pour les articles homonymes, voir Logique (homonymie). Gregor Reisch« La logique présente ses thèmes centraux », Margarita Philosophica, 1503/08 …   Wikipédia en Français


Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”

We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.